فیلترها/جستجو در نتایج    

فیلترها

سال

بانک‌ها



گروه تخصصی











متن کامل


نویسندگان: 

منیری مرتضی

نشریه: 

منطق پژوهی

اطلاعات دوره: 
  • سال: 

    1403
  • دوره: 

    15
  • شماره: 

    1
  • صفحات: 

    137-146
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    13
  • دانلود: 

    0
چکیده: 

در این مقاله به گزاره های مطلقاً اثبات ناپذیر از دیدگاه شهودگرایی براوئری می پردازیم. بنا به تعریف براوئر، یک گزاره مطلقاً اثبات ناپذیر است هرگاه ذهن آفریننده به عنوان ریاضیدانی ایده آل اثباتی داشته باشد مبنی بر اینکه هم خود آن گزاره و هم نقیض آن از منظر ساختی اثبات ناپذیر است. براوئر نشان داده است که وجود چنین گزاره هایی ممکن نیست. مارک فان آتن در کتاب خود در مورد براوئر و شهودگرایی، اثبات کوتاه براوئر در این مورد را بیان کرده و شرح و تفصیل داده است. مترجم فارسی این کتاب نیز به دو شکل مختلف این اثبات را بازسازی کرده و توضیح داده است. در این مقاله بازسازی مناسب تری از اثبات براوئر ارائه می دهیم. در ادامه، به کار گودل در زمینۀ گسترش حکم براوئر از منطق گزاره ها به منطق محمولات مرتبۀ اول خواهیم پرداخت. به علاوه اشاره خواهیم کرد که این گونه صوری سازی های ایده های شهودگرایانه در زبان منطق، نمی توانند حق مطلب را درمورد ایده های براوئر ادا کنند.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 13

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
اطلاعات دوره: 
  • سال: 

    1399
  • دوره: 

    8
  • شماره: 

    1
  • صفحات: 

    27-37
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    563
  • دانلود: 

    0
چکیده: 

متن کامل این مقاله به زبان انگلیسی می باشد. لطفا برای مشاهده متن کامل مقاله به بخش انگلیسی مراجعه فرمایید.لطفا برای مشاهده متن کامل این مقاله اینجا را کلیک کنید.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 563

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

ACHOUR D. | RUEDA P. | YAHI R.

اطلاعات دوره: 
  • سال: 

    2017
  • دوره: 

    8
  • شماره: 

    1
  • صفحات: 

    38-50
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    232
  • دانلود: 

    0
چکیده: 

Please click on PDF to view the abstract

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 232

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
نویسندگان: 

منیری مرتضی

نشریه: 

منطق پژوهی

اطلاعات دوره: 
  • سال: 

    1402
  • دوره: 

    14
  • شماره: 

    1
  • صفحات: 

    195-204
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    34
  • دانلود: 

    0
چکیده: 

ابتدا، در پرتو آراء ففرمن، به بررسی دوگانۀ گودل می پردازیم مبنی بر اینکه یا توانایی های ذهن انسان از هر ماشین متناهی فراتر است، و یا معادلات ریاضی از نوع دیوفانتی وجود دارند که به طور مطلق حل ناپذیر هستند. سپس برهان پاتنم را بررسی می کنیم مبنی بر این که اگر توانایی علمی ذهن انسان را بتوان توسط یک ماشین تورینگ با توانایی تهیۀ سیاهه ای از نتایج علمی شبیه سازی کرد، این ماشین جمله ای که این توانایی را بیان می کند را به عنوان خروجی ارائه نخواهد کرد. در تلاش برای فهم بهتر این برهان، آن را در زبان منطق وجهی بازسازی می کنیم. در ادامه، به امکان رایانه های خارق العاده برای انجام تعدادی بی شمار عمل پایه ای محاسباتی در زمان متناهی می پردازیم. این امکانی است که اخیراً بر اساس نظریه های جدید فیزیکی مطرح شده است. استدلال می کنیم با فرض تحقق چنین امکانی، حساب مرتبۀ اول متعین خواهد بود، به این معنی که صادق یا کاذب بودن هر جملۀ حسابی توضیح پذیر خواهد بود.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 34

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نشریه: 

فلسفه علم

اطلاعات دوره: 
  • سال: 

    1391
  • دوره: 

    1
  • شماره: 

    2
  • صفحات: 

    143-161
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    838
  • دانلود: 

    168
چکیده: 

یکی از نظریه های متداول درباره عقلانیت علم، عقلانیت به مثابه مبناگرایی است که بنابر آن، عقلانیت یک نظریه علمی و مبتنی بر داده های حسی است که آن نظریه بر آن اساس بنا شده است. اما داده های حسی قطعی و یقینی موضوعی است که مناقشات فراوانی را در پی داشته است. در این مقاله، با تمسک به آرای ویتگنشتاین در باب «یقین»، تلقی نوینی از یقینیات یک نظریه علمی ارائه می شود که، بنابر آن، هر نظریه علمی دارای دوگونه گزاره است: گزاره های ثابت و گزاره های سیال. پیرو چنین تقسیم بندی از گزاره های یک نظریه علمی، ایده نوینی برای عقلانیت نظریه های علمی ارائه می شود. بر اساس این ایده، نظریه ای عقلانی است که اولا سازگار باشد، ثانیا گزاره های ثابت جامعه علمی را حفظ و گزاره های سیال را با گزاره های مناسب دیگری جایگزین کند. مقاله سعی می کند با ارائه شواهد تاریخی، کارایی، و واقع بینانه بودن این ایده را در برابر معیارهای عقلانیت مبتنی بر بداهت شواهد حسی بیان کند.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 838

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 168 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

OSTADHADI DEHKORDI S. | HEIDARI M. | DAVVAZ B.

اطلاعات دوره: 
  • سال: 

    2018
  • دوره: 

    12
  • شماره: 

    1
  • صفحات: 

    91-112
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    231
  • دانلود: 

    0
چکیده: 

The concept of Γ-semihyperrings is a generalization of a semiring, a generalization of a Γ-semiring, and a generalization of a semihyperering. In this paper, we define the notions of complex product, extension property and flat Γ-semihyperrings and some of their properties are obtained. In addition, we prove that every flat Γ-semihyperring is Absolutely extendable. Finally, we give some characterization of stable elements.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 231

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
نویسندگان: 

DRAGOMIR S.S.

نشریه: 

RGMIA RES. REP. COLL

اطلاعات دوره: 
  • سال: 

    2014
  • دوره: 

    17
  • شماره: 

    -
  • صفحات: 

    0-0
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    128
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 128

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

FARRELL R.H.

اطلاعات دوره: 
  • سال: 

    1964
  • دوره: 

    35
  • شماره: 

    3
  • صفحات: 

    949-998
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    127
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 127

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

MANN W.C. | THOMPSON S.A.

نشریه: 

DISCOURSE PROCESSES

اطلاعات دوره: 
  • سال: 

    1986
  • دوره: 

    9
  • شماره: 

    1
  • صفحات: 

    57-90
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    180
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 180

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

فلاحی اسداله

نشریه: 

معارف عقلی

اطلاعات دوره: 
  • سال: 

    1391
  • دوره: 

    7
  • شماره: 

    4 (پیاپی 25)
  • صفحات: 

    107-138
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    1317
  • دانلود: 

    265
چکیده: 

ارسطو نخستین منطق دانی است که «سور در ناحیه محمول» را معرفی و صدق و کذب گزاره های با سور در ناحیه محمول را بررسی کرده است. ابن سینا این گزاره ها را «گزاره های منحرفه» نامیده و احکام تناقض میان آن ها را بیان کرده است؛ اما از دیگر قواعد حاکم بر گزاره های منحرفه سخن نگفته است. گزاره های منحرفه به دو دسته تقسیم می شوند: آن ها که هم ارز یکی از محصوره های چهارگانه ارسطویی هستند و آن ها که چنین نیستند. این دو دسته با هم هشت محصوره را شکل می دهند که روابط آن ها را می توان در یک «مکعب تقابل» نشان داد. با صورت بندی این هشت محصوره در منطق جدید، به آسانی می توان نشان داد که همه این محصوره ها عکس مستوی دارند. در پایان، نشان می دهیم که قواعد اشکال اربعه برای این محصوره ها همان «قواعد انبساط قیاس» است و به قواعد ویژه برای هر شکل نیازی نیست؛ هرچند برای هر شکل نیز می توان قواعد مربوطه را بیان کرد.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 1317

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 265 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
litScript
telegram sharing button
whatsapp sharing button
linkedin sharing button
twitter sharing button
email sharing button
email sharing button
email sharing button
sharethis sharing button